C to checked C by 3c

C + + and the Perils of Double - Checked Locking ∗

Google the newsgroups or the web for the names of various design patterns, and you’re sure to find that one of the most commonly mentioned is Singleton. Try to put Singleton into practice, however, and you’re all but certain to bump into a significant limitation: as traditionally implemented (and as we explain below), Singleton isn’t thread-safe. Much effort has been put into addressing this sh...

Synthesis of Titanium Carbide by the Combustion of TiO2-2Mg-C and 3TiO2-4Al-3C Systems in a Tubular Furnace

The combustion process of TiO2- 2Mg- C and 3TiO2-4Al-3C systems in a tubular furnace was investigated. TiC has been synthesized by the magnesiothermic reaction from a mixture of compacted powders of TiO2, Mg and charcoal as starting materials in the presence and absence of NaCl. The effects of temperature, pressure, and the stoichiometry ratio in the reactio...

Theoretical Analysis of SAW Propagation in 3C-SiC/c-AlN

The anisotropic materials as the acoustic wave propagating medium introduce the dependence of the phase velocity on the wave propagation direction, as opposed to the isotropic counterparts; in addition, the profile of the particle displacement components can be quite different, depending on the crystal type and propagation direction. The propagation of surface and bulk acoustic waves (SAWs and ...

High-resolution solid-state 3C-NMR study of carbons C-5 and C-12 of the chromophore of bovine rhodopsin

Machine-checked object layout for C++ multiple inheritance with empty-base optimization

We also adopt the following additional notations: • rst is a function de ned on non-empty lists, such that rst(a :: l′) def. a for all a, l′. • last is a function de ned on non-empty lists, computing their last elements: last(a :: nil) def. a and last(a :: b :: l′) def. last(b :: l′) for all a, b, l′. • length(l) is the length of a list l: length(nil) def. 0 and length(a :: l′) def. 1 + length(...